(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     40876,       1350]
NotebookOptionsPosition[     34001,       1135]
NotebookOutlinePosition[     37510,       1233]
CellTagsIndexPosition[     37357,       1226]
WindowTitle->DiracReduce
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"Chisholm\"\>":>Documentation`HelpLookup[
       "paclet:FeynCalc/ref/Chisholm"], "\<\"DiracSimplify\"\>":>
       Documentation`HelpLookup[
       "paclet:FeynCalc/ref/DiracSimplify"], "\<\"EpsChisholm\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/EpsChisholm"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/DiracReduce\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/DiracReduce"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/\
DiracReduce.html"], StandardForm]], "Input", TextClipboardType -> 
              "PlainText"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$67779], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/DiracReduce", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["DiracReduce", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"DiracReduce", "[", "exp", "]"}]], "InlineFormula"],
     " \[LineSeparator]reduces all ",
     Cell[BoxData["4"], "InlineFormula"],
     "-dimensional Dirac matrices in ",
     Cell[BoxData["exp"], "InlineFormula"],
     " to the standard basis ",
     Cell[BoxData[
      RowBox[{"(", 
       RowBox[{"S", ",", "P", ",", "V", ",", "A", ",", "T"}], ")"}]], 
      "InlineFormula"],
     " using the Chisholm identity. "
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[
 ButtonBox[Cell[TextData[{
   Cell[BoxData[
    InterpretationBox[
     StyleBox[
      GraphicsBox[{},
       BaselinePosition->Baseline,
       ImageSize->{6, 0}],
      CacheGraphics->False],
     Spacer[6]]]],
   "Details"
  }], "NotesFrameText"],
  Appearance->{Automatic, None},
  BaseStyle->None,
  ButtonFunction:>(FrontEndExecute[{
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], All, ButtonCell], 
     FrontEndToken["OpenCloseGroup"], 
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], After, CellContents]}]& ),
  Evaluator->None,
  Method->"Preemptive"]]]], "NotesSection",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1998421596],

Cell["", "SectionHeaderSpacer"],

Cell[TextData[{
 "In the result the basic Dirac structures are wrapped with a head ",
 ButtonBox["DiracBasis",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracBasis",
  ButtonNote->"DiracBasis"],
 ", that is"
}], "Notes",
 CellID->1067943069],

Cell[TextData[{
 Cell[BoxData["S"], "InlineFormula"],
 ": ",
 Cell[BoxData[
  RowBox[{"DiracBasis", "[", "1", "]"}]], "InlineFormula"]
}], "SeeAlso"],

Cell[TextData[{
 Cell[BoxData["P"], "InlineFormula"],
 ": ",
 Cell[BoxData[
  RowBox[{"DiracBasis", "[", 
   RowBox[{"GA", "[", "5", "]"}], "]"}]], "InlineFormula"]
}], "SeeAlso"],

Cell[TextData[{
 Cell[BoxData["V"], "InlineFormula"],
 ":",
 Cell[BoxData[
  RowBox[{"DiracBasis", "[", 
   RowBox[{"GA", "[", "\[Mu]", "]"}], "]"}]], "InlineFormula"]
}], "SeeAlso"],

Cell[TextData[{
 Cell[BoxData["A"], "InlineFormula"],
 ":",
 Cell[BoxData[
  RowBox[{"DiracBasis", "[", 
   RowBox[{"GA", "[", 
    RowBox[{"\[Mu]", ",", " ", "5"}], "]"}], "]"}]], "InlineFormula"]
}], "SeeAlso"],

Cell[TextData[{
 Cell[BoxData["T"], "InlineFormula"],
 ":",
 Cell[BoxData[
  RowBox[{"DiracBasis", "[", 
   RowBox[{"DiracSigma", "[", 
    RowBox[{"GA", "[", 
     RowBox[{"\[Mu]", ",", "\[Nu]"}], "]"}], "]"}], "]"}]], "InlineFormula"]
}], "SeeAlso"],

Cell[TextData[{
 "By default ",
 ButtonBox["DiracBasis",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracBasis",
  ButtonNote->"DiracBasis"],
 " is substituted to ",
 Cell[BoxData["Identity"], "InlineFormula"],
 "."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Options", "[", "DiracReduce", "]"}]], "Input",
 CellLabel->"In[189]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"{", 
   RowBox[{
    RowBox[{"DiracSimplify", "\[Rule]", "False"}], ",", 
    RowBox[{"DotSimplify", "\[Rule]", "True"}], ",", 
    RowBox[{"DiracGammaCombine", "\[Rule]", "True"}], ",", 
    RowBox[{"Contract", "\[Rule]", "True"}], ",", 
    RowBox[{"Factoring", "\[Rule]", "False"}], ",", 
    RowBox[{"FinalSubstitutions", "\[Rule]", 
     RowBox[{"{", 
      RowBox[{"DiracBasis", "\[Rule]", "Identity"}], "}"}]}], ",", 
    RowBox[{"FeynCalcInternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FeynCalcExternal", "\[Rule]", "False"}], ",", 
    RowBox[{"FCVerbose", "\[Rule]", "False"}]}], "}"}], 
  TraditionalForm]], "Output",
 ImageSize->{494, 54},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[189]="]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(5)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->1914652803],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(5)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->1329164364],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{" ", 
  RowBox[{"GA", "[", 
   RowBox[{"\[Mu]", ",", "\[Nu]"}], "]"}]}]], "Input",
 CellTags->"DiracReduce",
 CellLabel->"In[1]:=",
 CellID->176343206],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{49, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DiracReduce",
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracReduce", "[", "%", "]"}]], "Input",
 CellTags->"DiracReduce",
 CellLabel->"In[2]:=",
 CellID->1863378816],

Cell[BoxData[
 FormBox[
  RowBox[{
   SuperscriptBox[
    OverscriptBox["g", "_"], 
    RowBox[{
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]}]], "-", 
   RowBox[{"\[ImaginaryI]", " ", 
    SuperscriptBox["\[Sigma]", 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]}]]}]}], TraditionalForm]], "Output",
 ImageSize->{93, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DiracReduce",
 CellLabel->"Out[2]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[TextData[{
 ButtonBox["DiracReduce",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracReduce",
  ButtonNote->"DiracReduce"],
 " only works with Dirac matrices in ",
 Cell[BoxData["4"], "InlineFormula"],
 " dimensions, ",
 Cell[BoxData["D"], "InlineFormula"],
 "-dimensional objects are ignored."
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"GAD", "[", 
  RowBox[{"\[Mu]", ",", "\[Nu]"}], "]"}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox["\[Gamma]", 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{47, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracReduce", "[", "%", "]"}]], "Input",
 CellLabel->"In[2]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   SuperscriptBox["\[Gamma]", 
    FormBox[
     FormBox["\[Mu]",
      TraditionalForm],
     TraditionalForm]], ".", 
   SuperscriptBox["\[Gamma]", 
    FormBox[
     FormBox["\[Nu]",
      TraditionalForm],
     TraditionalForm]]}], TraditionalForm]], "Output",
 ImageSize->{47, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[2]="]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{
  RowBox[{"SpinorUBar", "[", 
   RowBox[{
    SubscriptBox["p", "1"], ",", 
    SubscriptBox["m", "1"]}], "]"}], ".", 
  RowBox[{"GA", "[", 
   RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Rho]"}], "]"}], ".", 
  RowBox[{"SpinorV", "[", 
   RowBox[{
    SubscriptBox["p", "2"], ",", 
    SubscriptBox["m", "2"]}], "]"}]}]], "Input",
 CellTags->"DiracReduce",
 CellLabel->"In[1]:=",
 CellID->1405125223],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{
    OverscriptBox["u", "_"], "(", 
    FormBox[
     SubscriptBox["p", "1"],
     TraditionalForm], ",", 
    FormBox[
     SubscriptBox["m", "1"],
     TraditionalForm], ")"}], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Rho]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   RowBox[{"v", "(", 
    FormBox[
     SubscriptBox["p", "2"],
     TraditionalForm], ",", 
    FormBox[
     SubscriptBox["m", "2"],
     TraditionalForm], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{220, 17},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DiracReduce",
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracReduce", "[", "%", "]"}]], "Input",
 CellTags->"DiracReduce",
 CellLabel->"In[2]:=",
 CellID->1093135858],

Cell[BoxData[
 GraphicsBox[
  TagBox[RasterBox[CompressedData["
1:eJztnQdUFNceh01ezit5eYk+44t5VhSVYgmWKCAKFmwoKiYqokd52BWNDRU7
KEZUsMUISNRgJSoGCxrEbgClSFVpAlKks4Xts292F3V3p7I7s7js/zsnOXpn
7929M7+9M7NzvZ+Z54qpCz5u1arV6r+j/5s6z8dp1ap5G9xao3/5znv14oXe
873Gea+Zv3D+qiGef0ELp6D/Hf+oVSvFn+UAAACAgahP2/VHudRYmgX0oeUd
awmvVoQ0yzsDHyqSsijfNf47p2/7KXjLvuQ3ebGBdm3a2B8vkjRul5ZfHPvl
p92WXUhKv7nTps3XriGPK8VyRFgSt3eUzaKI5PrGKCP8vJjrSXVSvGZTOdK6
hH0LXOwtzb5xP5LJb8yguPjUTMddz4WKd6lJvHazoAHCySot61iLC0PHWnfv
bt5r6Lpkrr6NAR8EMoZGAEnhMaex0bnJ226W8cvv5XARfoavU+92luvTGpTb
RQXhMzy6fD3sVrVczn0yp0f/4HyRqqbw5dEViXWNzUjfXFu74V6NjKDZyvyI
8KR6Gdpa6LDuE+Jq5Yqvxouze3faD96hjDraoarYtT4xFXBtxx4t61hzk7cv
OpNeB4ExciRFJ9w8H6Dh4qV4D5vzuF59m7ji/p5x9luzBPKGDJ9hk2OqtEc9
GSf9fOiFW7cits7zj69X29qQsd3OYvR898jXqnM2PzPQ5+wPvc2+u1WNBpef
Hujz20m7zjhRF+WGrX7aGHVB1nbnlck8OVGziLRBqnxPfoq3vVciVy6rTQg/
nVVyd5L926ijzScuHu3/XMDQ3gKwtKRjLSwIXeJqa9bWbOy2u9UwthktSNUN
t/FnS6Vy4Qv/IaMiy2Va2+vuezgfzheUR3vuSORojWqymttLJx7OQ0MqfO7v
6P6Yo7GRkxI6r8d/LKcfeIqeZNGob096fnJ4Z7uQQlH1/Y370wujh1JEXVJ8
3AnziTSbVcFP3zM/JE8oLr0RdvW1CP3I6lGXvj41YsTpEogoi7S0Yy2piF0/
0NLrCdyENj/C3KDp3+/LaeK5ivd0iXPAC6FcWvKr45CAl0Lt7YLsXS5b4p+c
OpGmPajJZW8ujXcIzFFklJ+6atTG9AatF9Sn7Th3dsPg3kuSePysvTvSOLV3
PLpZ/HD99LoLxaLKq41R5yXNt7DZm/v2xiQnxDdFNT6KcgPtx8RUYz6yWrPo
3xBuxpmw+1XouJyzf9rESa6urhMcvm5rOdYr7JWySVlF1GiHQwVi/O6LSuJ+
vZzNa/q9t84Vmw9ZfcrFM48qJWQlOmMEx7opyN5cHuOMPcmrYUrJoQkrAUOb
uHQppY7kSOCAXqPZjr5ehYjyjjlZzU7gYGoLMrc7eWw+nas9ZKFwHk/vYRuh
ODfynvl5HHkbVgUNBWdjyySKx1hFL4Mcp8TW8DMCtqRy0UFyW++21h6x1TKk
MtpeFXVJcbhdz+/japTHWVYZt+m0KqNyWflvziNOvJaSNIsICm9evPcGzbGM
V5jDUb20/uE0B793Z3Bx4c9O46Ir8VIkKb+yck5oHmYop0Tnis1NQ2awx4ZY
9bsrbEmT2zSKY00TRCxSfgXEBSHTd2USXiKYXnJowkbACPHRpKysrHGDtPSs
k8XwER4rtwcGuQ5w3XsF8yiJ82TpoogivPOfIHtrnw6DXbae/D3q9Ik75Rov
EZde8vXZf2z/rC3Be7b+klGZe9PP7lvfa7l8UUmk1840vpTzLHKx2RfdvdHT
lgzhZRz1mvD90o1+AQH+u8KfvbssFOUfdlmg/mufZrNZdcVnZvfq1ssaxaq3
w6aMxqFXM+p19+dNCnmF0wFZ1Q2PIUsTONgtFNCo6EPM+53fHCA1cR6DFz9S
+xkUW4KFtCPGcKzp9oWftsbWauSyAydOhkfl8Il2CZvJoeSDjZYK3QImfRO9
cHmi9n4RVz44vsjZYcqPe0PwLquktYmhqz3cvbzXbNwZllL//ooMqYqZNvKI
bhftksIQhyF71S/RMOg96QipT9zre027iaY0Kym7sjEoGXP/LFeO6MMtZv6p
vSsR3su4pzVSOcLPDJps1bXXABf/FC5Co6Jm47XxJ9ZOcxq1fv+OpROs/922
j+fFMiZu9VQfsSE/Zre747AFoaeObp1n18HCPfJhdHjg6mm9OwxYm8qjqFzz
xwQLl5vVCEmJJoL8M8uGdWnTeey+LEW2EO6zYN/QPO0LmQ/6WL+DXl8oYDU5
1O/OZrTkeqZLrkvA5MofRUe7KB9va1J3b4r54OCoo1nYfSbIDhhqMetiCXbw
UoxqtuswP4nRQlxwyPabdRk61W0KkprkuORaHb8vkpqnt1MJKnMTZpj3P5iv
uVdk1Xc3+ydzFHdLJydOOpTJl9UnbAnI4FNW1Aapvjn2v+YrYyul6L3W1Ynt
Wg8+V4a5wUf4r1KKdJlp1ZDhY9HR5Wwhek6pvuX0VRev6HIJGo0Tgzo53qhC
yJsVZG/ua70qrYGsRA1hUWTYw0pRfcKmfuYzH3PkkpIIF8dd2aw8WWbtWDfC
UF/YTQ4ltKKlD2TpqqjFmT2oSRMDpoRgWOM9XWBhsyXqYFIN5p34KUvM/tVh
xNTpKDO8ArL52i8wUWrvOnUa9KvmUzNx/pEJXvEcxaB9zG1TimJXCXLDw3MF
VBUx1D2Ybma1OUtZkZe80KzjlHt1Gi9AhKUJx9FTUVhR00+1opw9fTu73FKc
/njJi3v0WKyYGIGeEyd1tQl6XkjRrChvv425ewKXrEQdmVj5nZEUhw+zO5BX
Fb9u3MYE0iuiDxhm+sJSciSlkZ5jhmsxftmjOq0PSBkttJ94U5fpQpKu4Owc
zOxBbH36AXvfZVuLNm372Wt1GR1fra2XXDp8D2cuYt195/bdlqfCaKYF5/HU
bgN+0vwhpjZu/CDFFaik8Be3dSk85Z1R0K4UDmVFbbiJnt17rVSdnwTZ2/r0
9HqonU7l0bYdqsOwJn51pH+nUVcqZIoDv86i2xzF10mR9m59/F8IqZoVPt/R
13KZeh6wJbhdSpg7fPUFv5nYeT7Gh359YTU51J+dOlqCAurBhxDSdAm0Zw/i
oEvAcK/WRLmBNhYeF45GPH0Ym6H9MFP4MqBPO5ugnBb78EVHRHn7BlhrDffc
J549LBefjv8zbLxrxJ/x0YdXuC24UCKhrqgFP9W7Z7d5yqMuKTnn7rA8pgrn
FE0+/ojKE27EveRhby8kxb8M7uhwrkyqzEvvrlPv1iKKb+o8c8v1mQ2UoyUn
fmYv+zOlUpISae2T3y6naM2056eusLYauTutqSf/Zoapvqi1w2ZyKKETLczU
ZSw6p6vxU6hmD+J+QhoBw4A7rAme73DoPXWum/fxdC72gyLctJ88He1cF6zb
ss0vKLqMgVk9LQLhy51D7H8u1Ngd0qrbO1ytvvzbxx//7YvOA902X8wXYJOP
V1EDQZavVftvZ63aGXwwcPvGg3cq8IcY0vEHPRsN/PwfPddrTTIQVzw9793z
847u57Nrih6Fzer4WRevy7lVL27tc27X2mb/oxoJxbAmfLFzyEiNrdiSuoez
e/WafV/zIoD/bP3kwEzWf0tlGqb6ot4Oe8mhhGa0VBAPPrqnS642exAXOgHD
QPTIAGg6str7PlN+xD714KWsmniE7IddooqNiHJ29+069U4t1aUA1U2otPR3
n3O4c2t0bhbhJPpO9UtWe0CHLcFFUnZh7pTzLePfaujfF7aSQwndaMmpBh+d
04U7e1Bts64BAxhEWBQdHKI1506QtW3UsiSKJ9l4FRsRFxzu33nMdcy/n8VA
PqxJKu5E3i4lmz/T5GaFRdcPH7ilfrmOLcFFVnl1uvlAvZ/hfRAw1Bc2kkMJ
7WhRDD46p0v8Gnf24Ft0DhjANIioqlptXS2k/vHCfs5XacxU16qoKhMUPwj/
n9ln7V2PPSgVkrYhrk49Pa1rzyVXsuuZvAYiaVYmeKO1ghi2BBek+ua4Pm4X
GJ0e1Vww2BdGk0NdqQnRIh98WEPngAEAAAAAAAAAAAAAAAAAAAAAAAAAAAB6
wpSxBQAAoPnQy9gCMAih/gYAgCahj7EFYBBS/Q0AAE1AD2NLI6akrmBPekKp
v3mPKe1wmrAqowGMDn2MLQpMT13BkpOCRH+jgentcJoY1BUCNBe0zA76GFvk
ID0hLMGFrC9k+hs1wBVCjM7HBTAyRMXXggJDI44s7PnpX79yXuZ3qkBzuSV9
jC1ykJ6QlGhCKQqhob9RAK4Q0vq6uEIAIwPhJK79dnhIoVgufL7N8iu78xiv
gz7GFgUgPSEuUYNaFEJXfwOuEMZdIYBxgQZvbKd+yisA7hNPawdd1CAUgPSE
uEQdxqQn4Aph3hVC3mXgA0NSfHxQ+wHod1NWGbN4WkAKC6tVgvSEuAS3S/pK
T8AVwrgrBDAuZNzMcxuXrDl0/kpUXB47mg2QnhCWMCg9AVcIm64QwJiQVcXM
tezU9p+ffITySev+q5MJbpD0AqQnRCUMSk/AFcKmKwQwHsRlN3b7XSxUxQqR
1DwJXh/PiuUFpCe4JbgwIj0BVwi4QkwUafnFMeajoipU1/kybk7slT9KWJuG
CdITA0tPwBUCrhBTBOGlB062bN/pG+cZC9f/GHIpqZrlq3CQnlC2yaz0BFwh
WoArBAAAAAAAAAAAAAAAAAAAAAAAACAHXAYAABg/ZC4DFbDGvgEAbQQAMAaV
ywDW2DcYoI0AAGagchnQWmPflFbXZ2/ZfGpthApT2ts0AZcBoA6ly4B6jX3T
W12fpWXzKbQRKkxvb9MEXAYmATMuA8o19kFnQFCCC2lfSLURKsBlQIxuB0X6
Jnrh8kT4ZcWY0NtlQLnGPugMCEs0odQZ0AFcBqT1dXEZSF+fGu3SxPUugWaE
AZcB9Rr7oDMgLlGDWmdAC3AZMO4ygGHNuDCAy0AOOgOyEnWY0RmAy4B5l4Gt
RZu2/ezBZWAkGMBlIAedAVkJbpf00hmAy4BxlwFcrRkXBnAZyEFnQFLClM4A
XAZsugxgWDMmDOMykIPOgLiEKZ0BuAzYdBnAsGY8GMxlIAedAUEJLvrrDMBl
AC4DE8WwLgM56AwMqzMAlwG4DEwRg7sM5KAzMKzOAFwGWoDLAAAAAAAAAAAA
AAAAAAAAAAAAAAA+fMAoAQA6Q7l+PlgMDAW1UQIAAJqQrZ8PFgODQWmUAACA
NiTr54PFQAsWF8ynMkpoYEr7nCbgMgDUIVk/HywGWFhaMJ/SKPEe09vnNAGX
gUlAb+V54vXzwWKABysWA0qjxDvAZUCMzocGMDKoXAYkgMWAoDLzFgNKo8Q7
wGVAWl8XlwFgZFC7DEgAi4HBLAaURon3gMuAcZcBYFyw7TIAiwFxiTrMWAxU
gMuAKZcBYKSw7TIAiwFxCW6X9LIYqACXAeMuA8C4YNtlABYDwhKmLAaY1sBl
wLjLADAmDOAyAIsBUQlTFgNsa+AyYNplABgPhnEZgMUAtwQX/S0GKsBlAC4D
E8WALgOwGBjSYvD2PcFlAC4D08OwLgOwGFC2yaDFoLFBcBloAi4DAAAAAAAA
AGCR/wMmZOLP
    "], {{0, 81}, {413, 0}}, {0, 255},
    ColorFunction->RGBColor],
   BoxForm`ImageTag["Byte", ColorSpace -> "RGB", Interleaving -> True],
   Selectable->False],
  DefaultBaseStyle->"ImageGraphics",
  ImageSize->Automatic,
  ImageSizeRaw->{413, 81},
  PlotRange->{{0, 413}, {0, 81}}]], "Output",
 ImageSize->{417, 81},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->{"DiracReduce", "RasterizedOutput"},
 CellLabel->"Out[2]=",
 CellID->2116840375]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"GA", "[", 
  RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Rho]", ",", "\[Sigma]"}], 
  "]"}]], "Input",
 CellTags->"DiracReduce",
 CellLabel->"In[1]:=",
 CellID->1144474685],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Mu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Nu]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Rho]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm], ".", 
   FormBox[
    SuperscriptBox[
     OverscriptBox["\[Gamma]", "_"], 
     FormBox[
      FormBox["\[Sigma]",
       TraditionalForm],
      TraditionalForm]],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{100, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"DiracReduce",
 CellLabel->"Out[1]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracReduce", "[", "%", "]"}]], "Input",
 CellTags->"DiracReduce",
 CellLabel->"In[2]:=",
 CellID->654035869],

Cell[BoxData[
 GraphicsBox[
  TagBox[RasterBox[CompressedData["
1:eJztnQtQVGUUx+kx1dQ4ozmNzjRWJipKZmalqyIqhMjQKFChRYWMipJhA4ho
5SMMMlSsNEdWjAwtMAnT1NIePiIFDQQVDZB8ICiIyy6w773tQgO5y717H989
+y2c34yOeN295/6+79znuv+BUYtC593t4eER/4D1t9DZSybHxc1eGtbb+sMr
sfELomPnzpkWmzA3em7c2Kh7rH85xPqr6i4PD9ufGQRBEKTnYmy+rbe4uggE
QZAej+GyMtB70CDPoRMS/9K4uhgEQZAej+avVfN3lqlMJN7LjCfbMoBWHUEn
jriXE/eqFhpdtTJmumJg34GBK3+/JWLfbLySFRZ1TMUwzcWxE98saPr/MsPN
o59MG7/ivJZpPbtk4oyDDfYjYVaX5Shzf/45e8Xs1Sea/r/Uov3np2079u7P
Snj24YefGDJ06Aj/lIta4eURA7ZUSVZh4CwD2kk77GMEh4Q5LwJuJ7Q1EWi1
sAMhD8abh5OeGzanSPBNDEvDgbCgb66bGN3F1WP9d9WZ7ZarjkYEbLykrdsb
9WGh2m7TzY2/vP3Sxiq99dhwYfWk1wrUne+qOhYfsrFSbxvJTL/gAy7a83QC
XKoUq4CwleESJxxjBIy4OS8GTifUNRF4tXADwYauMj381XUV4g8u5hvfTw3o
YrI7oflUTEDqRR1jqvl60tjUv3X2y7XlKcHLTxRtzyp12H2Yb+QF+aRVWMUw
LSVx/svKWjsWNf4SOn75edvG6CvW+b/1JxFnEhRBlyrBqmAkaGErwyVOOMZI
DDJoIV8kpxPamgi+WriBYMPcVJyXV6wSule1HqUM+rYXGaozwlPOCdVtPe4p
XtzfYNFXbZk8/I2Taof1a8+tmhzxwY7KLrZaXRA+WJFdY7KO15nkiE22A+V/
mOt2TVGssTnTVW6etZLQg0jRisBLlWJVMBK0sJThGifsYyQK8lrIF8nphLom
gq8WbCDEsKQramtr2xa2lCYohvst/DTrq235FS0sp14sr2UY0/VvJnv5Tol4
d1Va+vTR09fuqW61ewt10dvzs68YunhTbfmKEY+OCV7x1Q/5O7J+q7vjnxiv
f7cgJClr3w/Z2w5dczgvAodcqV2OBUmrd2K6sTf6nULZrubZynCFE64xAkbc
nL8DEk4oayKi1fLyQ2IgGNFNZKg/ljk/wCdkzdoMx+OC9tLOhRMf7/NY4Lrz
tmUWzZkN7ymrhJ0Um24XKuMjXpsTm7Dso63FTZ1HOUvDwZf9NlWLagHj5Qyf
sWuBjlKcihjb3f+Sr9ekb/kya330071s//XHxv2D4kpbZShVf/XH9DRl9qbo
IQ/e1y9gYfL26juHQ4pVO0zXtr8Y/OtttsXStJBEshOSYySbFmFFAs4TXkjT
Qr5aZ344EDQQTpqIHdWREM8xG/I3n7ffpeuu7Np6vF7fdPL9kZ6zCtSMsSY7
eFJKuaC9srY8dYLX67trHIXaTCsSxd2VMVR/rngm8aw8d3S6gFWRdTOaS1KC
QjIv2Q7RlsZDgYOn7qszGI1Gk8lCvlSLunDxC74Zlw2M7sLKYf3G5dTaXw9K
sWqP0xklQQs5CDghPJ3k0SKkSNh5whMJWkhX69wPB8JmS5dNZLy+K2qqrx1B
C/9Qdc6C5lPzvEYtz//sdKPDzDAb2qo1Xt02cdynVQ0nEqctOynsKVFLcczA
Xo9OCQ23MnNOanmLkBfLDQ857XAoMl7b7jv0lSOq9p/UBaGDJ3wn+MknX8z1
+wIHjGw7TmuKorx9tl4xyrCWTi0Krz59R46nWwuME8atZguYE8attHQA4Id3
E7HQenaJt3dM3sYjN9k/dqw5Gekbn5s8S/jnqVRHA/o/+U4JVXtjwXApavrj
pcdHrq9qv6DRV3wyRiHjrRXj1czn+4+2TiJz/cEFL6cWa+T90JKTs2U6tAA7
cQ4FWqhzwlChpQNIP+JuYugr00Z5ReRuzj51/PBZxwfU7bSULPIe7vdxKdtD
PXZ0f6eOeGRUeoXrnxmIh1ORpjDiSa/FbVc05luHFwUtPS7qOTM/zJpz3y6L
Sfg8Z0/+r1XCB0Mo3DOKEi3ATpxCgxbanDB0aOkA0o+43bL2woc+T4VGhsVm
lmlYVbScSZqRdk7UnR2LpvSLqEnjps9LXL4yOX1vrSufcYuEW5G2UhnpNzP5
y5ydyg3KY/XyXS0y5oaDkcMG9H3o3rus3Nv72Xi5v4OEe0ZRoQXciVNcr4U+
JwwNWjqA9SP6kZ8zjLW5kSE5NUS+9gIRi6H2wMfJuy+3X3ZYjI1FG5JOyDDY
bgU6cQSdcNNN/Jjr94V7PvfZJTc8ze1GmOp2T/X0z7/ZfqJh1lQc3nOoxp3v
DBEAnTiCTrjpLn4st36aNiIst1be6wrECZbmsrQZw/oPeCZgZnTSmoy807dw
QNCJI+iEG/SDIAiCIAiCIAiCIAiCIAiCIDzAJJcuQS1oAA2gAUDgsnjAY4ak
ABrbRGV4Fkb8YGtgF7gI2Cwe0JghKUDGNtEZntUDI37swNbALpCCbEkuDOl0
FdCYITm1EIxtgk6k4kkPjPixoxu3Bk+wC6QgV5KLDbLpKpAxQ7JqIRjbBB2e
xQ+M+OnOrcEP7AIXQS6LR1qMi3sF3DA8Y5t4OSEansUn4AY+kAgy4ocPJAzQ
2xpQc4CjZuHrcqMIOT7InORCNuYGDnoCbpw5IZtIxffbruADiaAifkjV476t
QeMcgO0CGpAzyYVszA0oVATcOHdCOO2IV0vCBxIBRvwQqseNW4O6OQDeBRRA
S5ILdBySOwTcuCAOiUfADWQgEdgaeU8MoHrgV0ftHICfb66HmiQXumJu6NAC
74TPmRJ8VXTNDfB66EoKAy+JttEHgJ4kF6pibijRAu+ET0vCV0XV3ICvh6qk
MPiSaBt9AGhJcqEs5oYKLa5w4rwl4auibG5A10NZUhh0SbSNfg+im8S4EIVO
J/BV0eYBuB7aNh+4JAo3v6fQXWJcSEKnE/iqaPMAXA9tmw9cEoWb33PAGBdH
6HQCXxVtHoDroW3zgUuicPMRBEGQ7se/yoqgxQ==
    "], {{0, 38}, {477, 0}}, {0, 255},
    ColorFunction->RGBColor],
   BoxForm`ImageTag["Byte", ColorSpace -> "RGB", Interleaving -> True],
   Selectable->False],
  DefaultBaseStyle->"ImageGraphics",
  ImageSize->Automatic,
  ImageSizeRaw->{477, 38},
  PlotRange->{{0, 477}, {0, 38}}]], "Output",
 ImageSize->{481, 38},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->{"DiracReduce", "RasterizedOutput"},
 CellLabel->"Out[2]=",
 CellID->1562927769]
}, Open  ]],

Cell["Do some checks of the results", "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{
   RowBox[{"GA", "[", 
    RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Rho]", ",", "\[Sigma]"}], "]"}], 
   ".", 
   RowBox[{"GA", "[", 
    RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Rho]", ",", "\[Sigma]"}], "]"}]}], 
  "]"}]], "Input",
 CellLabel->"In[3]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"-", "128"}], TraditionalForm]], "Output",
 ImageSize->{36, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[3]="]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracSimplify", "[", 
  RowBox[{
   RowBox[{"DiracReduce", "[", 
    RowBox[{"GA", "[", 
     RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Rho]", ",", "\[Sigma]"}], "]"}], 
    "]"}], ".", 
   RowBox[{"DiracReduce", "[", 
    RowBox[{"GA", "[", 
     RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Rho]", ",", "\[Sigma]"}], "]"}], 
    "]"}]}], "]"}]], "Input",
 CellLabel->"In[4]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"-", "128"}], TraditionalForm]], "Output",
 ImageSize->{36, 14},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[4]="]
}, Open  ]]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 InterpretationBox[Cell["\t", "ExampleDelimiter"],
  $Line = 0; Null]], "ExampleDelimiter"],

Cell[TextData[{
 "We may also keep the head ",
 ButtonBox["DiracBasis ",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracBasis",
  ButtonNote->"DiracBasis"],
 "in the final result"
}], "Notes"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"DiracReduce", "[", 
  RowBox[{
   RowBox[{"GA", "[", 
    RowBox[{"\[Mu]", ",", "\[Nu]", ",", "\[Rho]", ",", "\[Sigma]"}], "]"}], 
   ",", 
   RowBox[{"FinalSubstitutions", "\[Rule]", 
    RowBox[{"{", "}"}]}]}], "]"}]], "Input",
 CellLabel->"In[1]:="],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"-", 
    RowBox[{"\[ImaginaryI]", " ", 
     RowBox[{"DiracBasis", "(", 
      SuperscriptBox[
       OverscriptBox["\[Gamma]", "_"], 
       FormBox["5",
        TraditionalForm]], ")"}], " ", 
     SuperscriptBox[
      OverscriptBox["\[Epsilon]", "_"], 
      RowBox[{
       FormBox[
        FormBox["\[Mu]",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["\[Rho]",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["\[Sigma]",
         TraditionalForm],
        TraditionalForm]}]]}]}], "-", 
   RowBox[{"\[ImaginaryI]", " ", 
    RowBox[{"DiracBasis", "(", 
     SuperscriptBox["\[Sigma]", 
      RowBox[{
       FormBox[
        FormBox["\[Rho]",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["\[Sigma]",
         TraditionalForm],
        TraditionalForm]}]], ")"}], " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]}]]}], "+", 
   RowBox[{"\[ImaginaryI]", " ", 
    RowBox[{"DiracBasis", "(", 
     SuperscriptBox["\[Sigma]", 
      RowBox[{
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["\[Sigma]",
         TraditionalForm],
        TraditionalForm]}]], ")"}], " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm]}]]}], "-", 
   RowBox[{"\[ImaginaryI]", " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]}]], " ", 
    RowBox[{"DiracBasis", "(", 
     SuperscriptBox["\[Sigma]", 
      RowBox[{
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["\[Rho]",
         TraditionalForm],
        TraditionalForm]}]], ")"}]}], "-", 
   RowBox[{"\[ImaginaryI]", " ", 
    RowBox[{"DiracBasis", "(", 
     SuperscriptBox["\[Sigma]", 
      RowBox[{
       FormBox[
        FormBox["\[Mu]",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["\[Sigma]",
         TraditionalForm],
        TraditionalForm]}]], ")"}], " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm]}]]}], "+", 
   RowBox[{"\[ImaginaryI]", " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]}]], " ", 
    RowBox[{"DiracBasis", "(", 
     SuperscriptBox["\[Sigma]", 
      RowBox[{
       FormBox[
        FormBox["\[Mu]",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["\[Rho]",
         TraditionalForm],
        TraditionalForm]}]], ")"}]}], "-", 
   RowBox[{"\[ImaginaryI]", " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]}]], " ", 
    RowBox[{"DiracBasis", "(", 
     SuperscriptBox["\[Sigma]", 
      RowBox[{
       FormBox[
        FormBox["\[Mu]",
         TraditionalForm],
        TraditionalForm], 
       FormBox[
        FormBox["\[Nu]",
         TraditionalForm],
        TraditionalForm]}]], ")"}]}], "+", 
   RowBox[{
    RowBox[{"DiracBasis", "(", "1", ")"}], " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm]}]]}], "-", 
   RowBox[{
    RowBox[{"DiracBasis", "(", "1", ")"}], " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]}]]}], "+", 
   RowBox[{
    RowBox[{"DiracBasis", "(", "1", ")"}], " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Mu]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Nu]",
        TraditionalForm],
       TraditionalForm]}]], " ", 
    SuperscriptBox[
     OverscriptBox["g", "_"], 
     RowBox[{
      FormBox[
       FormBox["\[Rho]",
        TraditionalForm],
       TraditionalForm], 
      FormBox[
       FormBox["\[Sigma]",
        TraditionalForm],
       TraditionalForm]}]]}]}], TraditionalForm]], "Output",
 ImageSize->{510, 81},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[1]="]
}, Open  ]]
}, Open  ]]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["Chisholm",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/Chisholm",
  ButtonNote->"Chisholm"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["DiracSimplify",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/DiracSimplify",
  ButtonNote->"DiracSimplify"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["EpsChisholm",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/EpsChisholm",
  ButtonNote->"EpsChisholm"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso"]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"DiracReduce",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 4, 3.438722}", 
    "history" -> {"9.0", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> 
    "DiracReduce[exp] reduces all 4-dimensional Dirac matrices in exp to the \
standard basis (S, P, V, A, T) using the Chisholm identity. ", 
    "synonyms" -> {}, "tabletags" -> {}, "title" -> "DiracReduce", 
    "titlemodifier" -> "", "windowtitle" -> "DiracReduce", "type" -> "Symbol",
     "uri" -> "FeynCalc/ref/DiracReduce"}, "SearchTextTranslated" -> ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[8043, 262, 388, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->1914652803]},
 "DiracReduce"->{
  Cell[8677, 291, 174, 6, 27, "Input",
   CellTags->"DiracReduce",
   CellID->176343206],
  Cell[8854, 299, 565, 23, 37, "Output",
   CellTags->"DiracReduce"],
  Cell[9456, 327, 134, 4, 27, "Input",
   CellTags->"DiracReduce",
   CellID->1863378816],
  Cell[9593, 333, 711, 29, 37, "Output",
   CellTags->"DiracReduce"],
  Cell[12114, 447, 420, 14, 27, "Input",
   CellTags->"DiracReduce",
   CellID->1405125223],
  Cell[12537, 463, 1119, 46, 38, "Output",
   CellTags->"DiracReduce"],
  Cell[13693, 514, 134, 4, 27, "Input",
   CellTags->"DiracReduce",
   CellID->1093135858],
  Cell[13830, 520, 6168, 109, 102, "Output",
   CellTags->{"DiracReduce", "RasterizedOutput"},
   CellID->2116840375],
  Cell[20177, 641, 191, 6, 27, "Input",
   CellTags->"DiracReduce",
   CellID->1144474685],
  Cell[20371, 649, 940, 39, 37, "Output",
   CellTags->"DiracReduce"],
  Cell[21348, 693, 133, 4, 27, "Input",
   CellTags->"DiracReduce",
   CellID->654035869],
  Cell[21484, 699, 3634, 67, 59, "Output",
   CellTags->{"DiracReduce", "RasterizedOutput"},
   CellID->1562927769]},
 "RasterizedOutput"->{
  Cell[13830, 520, 6168, 109, 102, "Output",
   CellTags->{"DiracReduce", "RasterizedOutput"},
   CellID->2116840375],
  Cell[21484, 699, 3634, 67, 59, "Output",
   CellTags->{"DiracReduce", "RasterizedOutput"},
   CellID->1562927769]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 35866, 1179},
 {"DiracReduce", 36005, 1183},
 {"RasterizedOutput", 37097, 1216}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[583, 21, 3210, 77, 53, "AnchorBarGrid",
 CellID->1],
Cell[3796, 100, 288, 11, 45, "ObjectNameGrid"],
Cell[CellGroupData[{
Cell[4109, 115, 682, 20, 102, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[4816, 139, 739, 24, 31, "NotesSection",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->1998421596],
Cell[5558, 165, 31, 0, 14, "SectionHeaderSpacer"],
Cell[5592, 167, 255, 8, 32, "Notes",
 CellID->1067943069],
Cell[5850, 177, 149, 5, 57, "SeeAlso"],
Cell[6002, 184, 179, 6, 57, "SeeAlso"],
Cell[6184, 192, 182, 6, 57, "SeeAlso"],
Cell[6369, 200, 212, 7, 57, "SeeAlso"],
Cell[6584, 209, 251, 8, 57, "SeeAlso"],
Cell[6838, 219, 241, 9, 32, "Notes"],
Cell[CellGroupData[{
Cell[7104, 232, 95, 2, 27, "Input"],
Cell[7202, 236, 780, 19, 75, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[8043, 262, 388, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->1914652803],
Cell[CellGroupData[{
Cell[8456, 281, 196, 6, 26, "ExampleSection",
 CellID->1329164364],
Cell[CellGroupData[{
Cell[8677, 291, 174, 6, 27, "Input",
 CellTags->"DiracReduce",
 CellID->176343206],
Cell[8854, 299, 565, 23, 37, "Output",
 CellTags->"DiracReduce"]
}, Open  ]],
Cell[CellGroupData[{
Cell[9456, 327, 134, 4, 27, "Input",
 CellTags->"DiracReduce",
 CellID->1863378816],
Cell[9593, 333, 711, 29, 37, "Output",
 CellTags->"DiracReduce"]
}, Open  ]],
Cell[CellGroupData[{
Cell[10341, 367, 105, 2, 9, "ExampleDelimiter"],
Cell[10449, 371, 325, 10, 32, "Notes"],
Cell[CellGroupData[{
Cell[10799, 385, 110, 3, 27, "Input"],
Cell[10912, 390, 487, 20, 37, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[11436, 415, 87, 2, 27, "Input"],
Cell[11526, 419, 409, 16, 37, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[11984, 441, 105, 2, 9, "ExampleDelimiter"],
Cell[CellGroupData[{
Cell[12114, 447, 420, 14, 27, "Input",
 CellTags->"DiracReduce",
 CellID->1405125223],
Cell[12537, 463, 1119, 46, 38, "Output",
 CellTags->"DiracReduce"]
}, Open  ]],
Cell[CellGroupData[{
Cell[13693, 514, 134, 4, 27, "Input",
 CellTags->"DiracReduce",
 CellID->1093135858],
Cell[13830, 520, 6168, 109, 102, "Output",
 CellTags->{"DiracReduce", "RasterizedOutput"},
 CellID->2116840375]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[20047, 635, 105, 2, 9, "ExampleDelimiter"],
Cell[CellGroupData[{
Cell[20177, 641, 191, 6, 27, "Input",
 CellTags->"DiracReduce",
 CellID->1144474685],
Cell[20371, 649, 940, 39, 37, "Output",
 CellTags->"DiracReduce"]
}, Open  ]],
Cell[CellGroupData[{
Cell[21348, 693, 133, 4, 27, "Input",
 CellTags->"DiracReduce",
 CellID->654035869],
Cell[21484, 699, 3634, 67, 59, "Output",
 CellTags->{"DiracReduce", "RasterizedOutput"},
 CellID->1562927769]
}, Open  ]],
Cell[25133, 769, 46, 0, 32, "Notes"],
Cell[CellGroupData[{
Cell[25204, 773, 309, 9, 27, "Input"],
Cell[25516, 784, 186, 6, 35, "Output"]
}, Open  ]],
Cell[CellGroupData[{
Cell[25739, 795, 394, 11, 45, "Input"],
Cell[26136, 808, 186, 6, 35, "Output"]
}, Open  ]]
}, Open  ]],
Cell[CellGroupData[{
Cell[26371, 820, 105, 2, 9, "ExampleDelimiter"],
Cell[26479, 824, 206, 7, 32, "Notes"],
Cell[CellGroupData[{
Cell[26710, 835, 276, 8, 27, "Input"],
Cell[26989, 845, 6061, 242, 102, "Output"]
}, Open  ]]
}, Open  ]]
}, Open  ]],
Cell[33089, 1092, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[33157, 1097, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[33430, 1111, 529, 19, 56, "SeeAlso"]
}, Open  ]],
Cell[33974, 1133, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

